The object of this research is the fragmented everyday life of social life practices. The subject of the research is personal stories realized in storytelling and considered as the result of the creative activity of the subject and a way to overcome the fragmentation of everyday life of modern culture. The authors consider the fragmentation of everyday life as a factor in the desocialization of the subject and the leveling of unified mechanisms of social interaction. Storytelling is defined as a (...) way for a person to consistently present various storylines and broadcast the principles of their personal existence, creating an effect of belonging among recipients and awakening their imagination. The research substantiates that storytelling resources allow a subject to broadcast personal values, creatively express their individuality through virtual self-presentation and respond to current public demands, thereby overcoming the fragmentation of everyday life. As the conclusions of the research, the authors state that public order and social interaction are conditioned by the influence of the narratives of each subject on the foundation of their own being and the formation of a vector of development of all participants in intersubjective relations through the dissemination of the principles of personal existence in the storytelling system. The authors emphasize the creative nature of personal stories, the creation and telling of which is a prerequisite for the formation of unified principles of social existence due to the transmitted ideas about socially acceptable rules and stable patterns of behavior that become a set of rituals. The authors conclude that personal stories allow the subject to overcome fragmented everyday life, move to a qualitatively new level of normative determination, develop a strategy of self-identity and move from a separate way of being to a holistic existence in the context of intersubjective interactions. (shrink)

The object of this paper is creativity as a cultural philosophical and historical-philosophical phenomenon. The subject of the research is the substantiation of the essence of creativity by Russian religious philosophy on the example of the doctrine of V.S. Solovyov and N.A. Berdyaev. The aim of this research is to identify and articulate the key semantic constructs of creativity from the positions of the above-mentioned thinkers. The article also explores ideas about the nature of creativity and the specific features of (...) a creative subject through the prism of relevant concepts of a socio-humanitarian orientation. A brief historical and philosophical excursion into the understanding of the ontological essence of creativity is carried out, modern ontological concepts of creativity are revealed and an existentially oriented concept of creativity is proposed. The theoretical basis of the research is the original works of V.S. Solovyov and N.A. Berdyaev, as well as various commenting scientific sources. The methodological foundation of the research is a comparative analysis and a method of contextual vision of creativity. The main result of the conducted research is the articulation of key aspects of the understanding of creativity by V.S. Solovyov and N.A. Berdyaev. It is shown that for the first philosopher, the central task of creativity is the spiritualization of the material world through the realization of the unity of Goodness, Truth and Beauty, while the second thinker considers the main mission of creativity to be the establishment of a fundamentally different spiritual being by the subject. The scientific novelty of the research also lies in the comparative characterization of the concepts of creativity of these thinkers in terms of essence, tasks, meaning, material, sources, functions, result and other structural aspects. (shrink)

Книга рассчитана на студентов, аспирантов, преподавателей высших и средних учебных заведений, всех интересующихся данными исследованиями.

Progressions of iterated reflection principles can be used as a tool for the ordinal analysis of formal systems. We discuss various notions of proof-theoretic ordinals and compare the information obtained by means of the reflection principles with the results obtained by the more usual proof-theoretic techniques. In some cases we obtain sharper results, e.g., we define proof-theoretic ordinals relevant to logical complexity Π1 0 and, similarly, for any class Π n 0 . We provide a more general version of the (...) fine structure relationships for iterated reflection principles (due to U. Schmerl [25]). This allows us, in a uniform manner, to analyze main fragments of arithmetic axiomatized by restricted forms of induction, including IΣ n , IΣ n − , IΠ n − and their combinations. We also obtain new conservation results relating the hierarchies of uniform and local reflection principles. In particular, we show that (for a sufficiently broad class of theories T) the uniform Σ1-reflection principle for T is Σ2-conservative over the corresponding local reflection principle. This bears some corollaries on the hierarchies of restricted induction schemata in arithmetic and provides a key tool for our generalization of Schmerl's theorem. (shrink)

We suggest an algebraic approach to proof-theoretic analysis based on the notion of graded provability algebra, that is, Lindenbaum boolean algebra of a theory enriched by additional operators which allow for the structure to capture proof-theoretic information. We use this method to analyze Peano arithmetic and show how an ordinal notation system up to 0 can be recovered from the corresponding algebra in a canonical way. This method also establishes links between proof-theoretic ordinal analysis and the work which has been (...) done in the last two decades on provability logic and reflection principles. Because of its abstract algebraic nature, we hope that it will also be of interest for non-prooftheorists. (shrink)

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant ‘true’ by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with modalities labeled by natural numbers and ω, where ω corresponds to the full uniform reflection schema, whereas n<ω corresponds to its restriction to arithmetical Πn+1-formulas. This (...) calculus is shown to be complete w.r.t. a suitable class of finite Kripke models and to be decidable in polynomial time. (shrink)

Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

For “natural enough” systems of ordinal notation we show that α times iterated local reflection schema over a sufficiently strong arithmetic T proves the same Π 1 0 -sentences as ω α times iterated consistency. A corollary is that the two hierarchies catch up modulo relative interpretability exactly at ε-numbers. We also derive the following more general “mixed” formulas estimating the consistency strength of iterated local reflection: for all ordinals α ⩾ 1 and all β, β ≡ Π 1 0 (...) T ω α · , α ≡ Π 1 0 T β + ω α . Here T α stands for α times iterated local reflection over T , T β stands for β times iterated consistency, and ≡ Π 1 0 denotes mutual Π 1 0 -conservativity. In an appendix to this paper we develop our notion of “natural enough” system of ordinal notation and show that such systems do exist for every recursive ordinal. (shrink)

The main focus of the book is the presentation of the 'inertial' view of population growth. This view provides a rather simple model for complex population dynamics, and is achieved at the level of the single species without invoking species interactions. An important part of this account is the maternal effect. Investment of mothers in the quality of their daughters makes the rate of reproduction of the current generation depend not only on the current environment, but also on the environment (...) experienced by the previous generation. (shrink)

A well-known result states that, over basic Kalmar elementary arithmetic EA, the induction schema for ∑n formulas is equivalent to the uniform reflection principle for ∑n + 1 formulas . We show that fragments of arithmetic axiomatized by various forms of induction rules admit a precise axiomatization in terms of reflection principles as well. Thus, the closure of EA under the induction rule for ∑n formulas is equivalent to ω times iterated ∑n reflection principle. Moreover, for k < ω, k (...) times iterated ∑n reflection principle over EA precisely corresponds to the extension of EA by k nested applications of ∑n induction rule.The above relationship holds in greater generality than just stated. In fact, we give general formulas characterizing in terms of iterated reflection principles the extension of any given theory by k nested applications of ∑n or Πn induction rules. In particular, the closure of a theory T under just one application of ∑1 induction rule is equivalent to T together with ∑1 reflection principle for each finite Π2 axiomatized subtheory of T.These results have closely parallel ones in the theory of subrecursive function classes. The rules under study correspond, in a canonical way, to natural closure operators on the classes of provably recursive functions. Thus, ∑1 induction rule precisely corresponds to the primitive recursive closure operator, and ∑1 collection rule, introduced below, corresponds to the elementary closure operator. (shrink)

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.

Analyzes principal forces that determined the direction of Camus' thought on ethics and political values.

We characterize the bimodal provability logics for certain natural (classes of) pairs of recursively enumerable theories, mostly related to fragments of arithmetic. For example, we shall give axiomatizations, decision procedures, and introduce natural Kripke semantics for the provability logics of (IΔ 0 + EXP, PRA); (PRA, IΣ 1 ); (IΣ m , IΣ n ) for $1 \leq m etc. For the case of finitely axiomatized extensions of theories these results are extended to modal logics with propositional constants.

This article compares the sections on the qualities desirable in a wife in Abū Ḥāmid al-Ghazālī’s Iḥyāʾ ʿulūm al-dīn and Bar Hebraeus’s Ethicon, which the West Syrian writer modeled on al-Ghazālī’s work. The article first establishes that al-Ghazālī based his profile of the ideal wife on a jurisprudential discussion of the topic by his teacher, Imām al-Ḥaramayn al-Juwaynī, expanding it, however, by adding anecdotes from Sufi literature and reasoned arguments on how “the good wife” will best facilitate her husband’s devotion (...) to God. The article then moves to consider how Bar Hebraeus appropriates, reconfigures, and reframes as Christian teaching al-Ghazālī’s discussion. Finally, the article argues that the similarity between the two texts demonstrates that both carve out a particular notion of male piety intelligible and resonant in their different religious traditions and in the broader monotheistic culture of the premodern Middle East. (shrink)

A well-known polymodal provability logic inlMMLBox due to Japaridze is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in arithmetic. This system plays an important role in some recent applications of provability algebras in proof theory. However, an obstacle in the study of inlMMLBox is that it is incomplete w.r.t. any class of Kripke frames. In this paper we provide a complete Kripke semantics for inlMMLBox . First, we isolate a certain subsystem inlMMLBox (...) of inlMMLBox that is sound and complete w.r.t. a nice class of finite frames. Second, appropriate models for inlMMLBox are defined as the limits of chains of finite expansions of models for inlMMLBox . The techniques involves unions of n -elementary chains and inverse limits of Kripke models. All the results are obtained by purely modal-logical methods formalizable in elementary arithmetic. (shrink)

We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...) of GLP Λ. (shrink)

By a result of Paris and Friedman, the collection axiom schema for $\Sigma_{n+1}$ formulas, $B\Sigma_{n+1}$ , is $\Pi_{n+2}$ conservative over $I\Sigma_n$ . We give a new proof-theoretic proof of this theorem, which is based on a reduction of $B\Sigma_n$ to a version of collection rule and a subsequent analysis of this rule via Herbrand's theorem. A generalization of this method allows us to improve known results on reflection principles for $B\Sigma_n$ and to answer some technical questions left open by Sieg (...) [23] and Hájek [9]. We also give a new proof of independence of $B\Sigma_{n+1}$ over $I\Sigma_n$ by a direct recursion-theoretic argument and answer an open problem formulated by Gaifman and Dimitracopoulos [8]. (shrink)

Several legal scholars have recently argued that U.S. tort law’s physical-emotional distinction commits tort to the objectionable position of mind-body dualism, but they have not considered the distinction’s role as an aid to judicial cognition and decision-making. Drawing primarily on the law of negligent infliction of emotional distress, this essay argues that tort’s physical-emotional distinction is not a relic of mind-body dualism but a heuristic that judges have used to structure and simplify the difficult but unavoidable task of drawing lines (...) between legally cognizable and non-cognizable harm. The analysis has at least three normative implications: (1) users of tort’s physical-emotional distinction should clarify that they neither endorse dualism nor depreciate emotional harm; (2) because judicial expertise may not extend to the task of drawing lines between legally cognizable and non-cognizable harm, judicial performance in this area may be more adequate than critics suggest; and (3) although it may not be possible to determine the optimal way of drawing lines between legally cognizable and non-cognizable emotional harm, moral-philosophical tools such as Rawlsian and Scanlonian contractualism may be able to identify partial or pro tanto considerations for choosing among different ways of doing so. (shrink)

The Many-Worlds Interpretation (MWI) is an approach to quantum mechanics according to which, in addition to the world we are aware of directly, there are many other similar worlds which exist in parallel at the same space and time. The existence of the other worlds makes it possible to remove randomness and action at a distance from quantum theory and thus from all physics.

We study the fragment of Peano arithmetic formalizing the induction principle for the class of decidable predicates, $I\Delta_1$ . We show that $I\Delta_1$ is independent from the set of all true arithmetical $\Pi_2-sentences$ . Moreover, we establish the connections between this theory and some classes of oracle computable functions with restrictions on the allowed number of queries. We also obtain some conservation and independence results for parameter free and inference rule forms of $\Delta_1-induction$ . An open problem formulated by J. (...) Paris is whether $I\Delta_1$ proves the corresponding least element principle for decidable predicates, $L\Delta_1$ (or, equivalently. the $\Sigma_1-collection$ principle $B\Sigma_1$ ). We reduce this question to a purely computation-theoretic one. (shrink)

(2010). “Meaningful Educational Opportunity” May Not be Equality of Educational Opportunity [Essay Review of the Book Moving Every Child Ahead: From NCLB Hype to Meaningful Educational Opportunity] Educational Studies: Vol. 46, No. 1, pp. 116-128.

In this book we attempted to gather together a set of chapters that describe new ways of approaching questions about aesthetics and innovation. Rather than going over old ground, the chapters describe attempts to break out in new directions. The book begins with a description of von Ehrenfels development of a Gestalt theory of aesthetics so evocative of the Vienna of 1900 that readers will wish that they had been there to experience the intellectual excitement and ends with a survey (...) the very latest research on brain scan research on perception of art. In between, we encounter chapters as diverse as a description of cognitive effects on art perception and on the analogies between oscillations in art history and waves in the physical world. About half of the book contains chapters by well known western psychological aestheticians and half chapters by Russian scholars many of whom will be new to western readers. As well as describing new methods and results, the chapters by Russian scholars will be novel to most western readers, because the Russian perspective on aesthetics and innovation is rather different than the traditional western perspectives. Looking at phenomena from new viewpoints never hurts and very often helps in science. (shrink)

This is a philosophical paper in favor of the many-worlds interpretation of quantum theory. The necessity of introducing many worlds is explained by analyzing a neutron interference experiment. The concept of the “measure of existence of a world” is introduced and some difficulties with the issue of probability in the framework of the MWI are resolved.